Rezension von: Frauenknecht, Erwin (Bearb.), "Ich kan yetzo nit mee ..."

Rezension von Guillaume Schiltz: Der Dialektometrische Atlas von Südwest-Baden

Der Dialektometrische Atlas von Südwest-Baden (DASB). Konzepte eines dialektometrischen Informationssystems.

Rezension von Roland Hausser: Foundations of Computational Linguistics. Man-Machine Communication in Natural Language

Das vorliegende Werk von Roland Hausser, „Foundations of Computational Linguistics“, ist, auch wenn es sich streckenweise einen solchen Anstrich gibt, weit mehr als ein bloßes Lehrbuch der Computerlinguistik. Das Buch erhebt vielmehr den Anspruch, Sprachtheorie zu bieten, ja darüber hinaus Kommunikationstheorie im Sinne einer Darstellung der theoretischen Grundlagen von MenschMaschine-Kommunika...

Rezension von Dalitz/Heyer: HYPER-G. Das Informationssystem der 2. Generation

Kan Extensions of Institutions

Institutions were introduced by Goguen and Burstall 8, 9, 10, 11] to formally capture the notion of logical system. Interpreting institutions as functors, and morphisms and representations of institutions as natural transformations, we give elegant proofs for the completeness of the categories of institutions with morphisms and representations, respectively, show that the duality between morphi...

Computing left Kan extensions

We describe a new extension of the Todd–Coxeter algorithm adapted to computing left Kan extensions. The algorithm is a much simplified version of that introduced by Carmody and Walters (Category Theory, Proceedings of the International Conference Held in Como, Italy, 22–28 July 1990. Springer) in 1991. The simplification allows us to give a straightforward proof of its correctness and terminati...